using Microsoft.VisualStudio.TestTools.UnitTesting;
using Microsoft.Pex.Framework.Generated;
using System;
using Microsoft.Pex.Engine.Exceptions;
// --------------------------------------------------------------------------------------------------------------------
// <copyright file="A1B1TreeTest.CopyTo.g.cs" company="">
//   
// </copyright>
// <summary>
//   The a 1 b 1 tree test.
// </summary>
// --------------------------------------------------------------------------------------------------------------------

namespace System.Collections
{
	using Microsoft.Pex.Engine.Exceptions;
	using Microsoft.Pex.Framework.Generated;
	using Microsoft.VisualStudio.TestTools.UnitTesting;

	/// <summary>
	/// The a 1 b 1 tree test.
	/// </summary>
	public partial class A1B1TreeTest
	{
		[TestMethod]
		public void CopyTo610()
		{
			A1B1Tree a1B1Tree;
			a1B1Tree = new A1B1Tree();
			a1B1Tree.Add(0);
			int[] ints = new int[1];
			this.CopyTo(a1B1Tree, ints, 0);
			Assert.IsNotNull((object)a1B1Tree);
		}
		[TestMethod]
		[PexRaisedContractException(PexExceptionState.Expected)]
		public void CopyToThrowsContractException456()
		{
			try
			{
				A1B1Tree a1B1Tree;
				a1B1Tree = new A1B1Tree();
				a1B1Tree.Add(0);
				int[] ints = new int[0];
				this.CopyTo(a1B1Tree, ints, int.MaxValue);
				throw
				  new AssertFailedException("expected an exception of type ContractException");
			}
			catch (Exception ex)
			{
				if (!PexContract.IsContractException(ex))
					throw ex;
			}
		}
		[TestMethod]
		[PexRaisedContractException(PexExceptionState.Expected)]
		public void CopyToThrowsContractException374()
		{
			try
			{
				A1B1Tree a1B1Tree;
				a1B1Tree = new A1B1Tree();
				a1B1Tree.Add(0);
				int[] ints = new int[0];
				this.CopyTo(a1B1Tree, ints, 0);
				throw
				  new AssertFailedException("expected an exception of type ContractException");
			}
			catch (Exception ex)
			{
				if (!PexContract.IsContractException(ex))
					throw ex;
			}
		}
		[TestMethod]
		[PexRaisedContractException(PexExceptionState.Expected)]
		public void CopyToThrowsContractException74()
		{
			try
			{
				A1B1Tree a1B1Tree;
				a1B1Tree = new A1B1Tree();
				a1B1Tree.Add(0);
				this.CopyTo(a1B1Tree, (int[])null, 0);
				throw
				  new AssertFailedException("expected an exception of type ContractException");
			}
			catch (Exception ex)
			{
				if (!PexContract.IsContractException(ex))
					throw ex;
			}
		}
	}
}